More from this Author
Found 9 books by Marco Bernardo (Editor)
Formal Methods for Software Architectures
by Marco Bernardo (Editor), Paola Inverardi (Editor)
Formal Methods for Multicore Programming
by Marco Bernardo (Editor), Einar Broch Johnsen (Editor)
Formal Methods for Executable Software Models
by Marco Bernardo (Editor), Ferruccio Damiani (Editor), Reiner Haehnle (Editor), Einar Broch Johnsen (Editor), Ina Schaefer (Editor)
Formal Methods for Eternal Networked Software Systems
by Marco Bernardo (Editor), Valerie Issarny (Editor)
Formal Methods for Multicore Programming
by Marco Bernardo (Editor), Einar Broch Johnsen (Editor)
Formal Methods for Model-Driven Engineering
by Marco Bernardo (Editor), Vittorio Cortellessa (Editor), Alfonso Pierantonio (Editor)
Formal Methods for Executable Software Models
by Marco Bernardo (Editor), Ferruccio Damiani (Editor), Reiner Haehnle (Editor), Einar Broch Johnsen (Editor), Ina Schaefer (Editor)
Formal Methods for Dynamical Systems
by Marco Bernardo (Editor), Erik de Vink (Editor), Alessandra Di Pierro (Editor), Herbert Wiklicky (Editor)
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
by Marco Bernardo (Editor), Rocco De Nicola (Editor), Jane Hillston (Editor)